Lisp programming language - PDFSEARCH.IO - Document Search Engine

Lisp programming language
Results: 1064

#	Item
21	Deriving Generic Functions by Example Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type
22	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
23	HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Functional programming Functional languages Data types Type theory Source code Generalized algebraic data type Haskell Type class Lisp Macro Guard Pattern matching
24	Microsoft Word - LAW-Paper.doc Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Theoretical computer science Logic in computer science Formal methods Computer security ACL2 Lisp Formal verification SPARK Domain-specific language Pointer Information security Programming language
25	Deriving Generic Functions by Example Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type
26	A Simulation of Niche Construction Kevin B. Korb and Alan Dorin Technical ReportBayesian Intelligence Abstract We report on a simple, generic simulation of niches and their propagation Add to Reading List Source URL: bayesian-intelligence.com Language: English - Date: 2009-10-12 21:01:59 Programming language theory Software engineering Ecology Computer programming Landscape ecology Functional languages Market segmentation Ecological niche Habitat Lisp Niche
27	From “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42. Why Functional Programming Matters John Hughes Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2006-05-19 11:07:35 Software engineering Computer programming Declarative programming Functional programming Data types Higher-order functions Programming language comparisons Lisp Fold Cons Append List
28	Enabling Semantic Web Programming by Integrating RDF and Common Lisp Ora Lassila Nokia Research Center, 5 Wayside Road, Burlington, Massachusetts, USA Abstract: This paper introduces “Wilbur”, an RDF and DAML toolki Add to Reading List Source URL: files.ifi.uzh.ch Language: English - Date: 2003-09-01 10:46:27 Computing Semantic Web Resource Description Framework World Wide Web Consortium Information science Knowledge representation Knowledge engineering School of Computer Science University of Manchester Redland RDF Application Framework Web Ontology Language DARPA Agent Markup Language RDF Schema
29	Learning Connections Student Voices & Computer Science Programming as a Second Language Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-05-26 23:06:15 Programming paradigms Computer programmers Object-oriented programming International Society for Technology in Education Programmer Lisp Programming language Computer programming Abstraction
30	Church: a language for generative models Noah D. Goodman, Vikash K. Mansinghka∗, Daniel M. Roy, Keith Bonawitz & Joshua B. Tenenbaum MIT BCS/CSAIL Cambridge, MA 02139 Add to Reading List Source URL: stanford.edu Language: English - Date: 2010-06-23 13:20:14 Software engineering Computer programming Computing Lambda calculus Functional programming Programming languages Data types Control flow Eval Bayesian network Scheme Lisp